Perceptron Convergence Theorem